#include <stdio.h>
#include <stdlib.h>
#include <ucontext.h>
#include "thread.h"

extern thread_t* current_thread;

thread_t thread_self(void)
{
	return *current_thread;
} 

